Two-Level Grammar as an Object-Oriented Requirements Specification Language
نویسندگان
چکیده
Two-Level Grammar (TLG) is proposed QS an object-oriented requirements specification language with Q natural language (NL) style but suficiently formal to allow automatic transformation of the TLG specification into formal specifications in VDM++, an object-oriented version of the Vienna Development Method. The VDM++ specification may be further transformed into JavaTM code or integrated with the Unified Modeling Language (UML) using the IFAD VDM ToolboxTM. The translation into an executable programming language facilitates rapid prototyping of TLG specifications and the integration with UML allows TLG specification to be used in conjunction with software systems being constructed using UML. This software specification approach is supported by Q specification development environment (SDE) for constructing TLG specifications and Q natural language processing system to assist in translating an NL requirements specification into TLG. The system described is Q useful and constructive tool for automating the production of software systems from NL specifications.
منابع مشابه
Combining Formal Specifications with Design by Contract
In this paper, we present an approach to the object-oriented software development which is based on: i) automatic generation of a throwaway prototype from the initial specification in a formal, declarative, object-oriented specification language, ii) validation of user requirements and refinement of the specification by using this prototype, and iii) automatic translation from the validated spe...
متن کاملObject - Oriented Attribute Grammars
This paper introduces object-oriented attribute grammars. These can be characterized as a notation for all classes of attribute grammars. Based on a subtype relation between grammar rules, inheritance of attributes and attribute computations are defined. With this approach, attributes local to grammar rules and the elimination of chain rules are possible without any special constructs. We prese...
متن کاملObject-oriented Techniques in Grammar and Ontology Specification
Currently, much effort is spent for the creation of linguistic resources such as grammars or domain models each time a new task oriented spoken language application is deployed. The resources for different applications, though different, resemble each other enough to warrant reusability of subcomponents. In this paper, we describe the application of techniques known from object oriented program...
متن کاملSemantics of POOSL : an object-oriented specification language for the analysis and design of hardware/software systems
POOSL, an acronym for Parallel Object-Oriented Specification Language, is a specification and design language which is developed as a part of an object-oriented methodology for the specification and design of data processing systems that contain a mixture of software and hardware components. The language is based on the object-oriented paradigm to support flexible and reusable design, as well a...
متن کاملConcurrent, object-oriented natural language parsing: the ParseTalk model
The ParseTalk model of concurrent, object-oriented natural language parsing is introduced. It builds upon the complete lexical distribution of grammatical knowledge and incorporates inheritance mechanisms in order to express generalizations over sets of lexical items. The grammar model integrates declarative well-formedness criteria constraining linguistic relations between heads and modifiers,...
متن کامل